Research on an expert system for database operation of simulation-emulation math models. Volume 2, Phase 1: Results

A reference manual is provided for NESS, a simulation expert system. This manual gives user information regarding starting and operating NASA expert simulation system (NESS). This expert system provides an intelligent interface to a generic simulation program for spacecraft attitude control problems. A menu of the functions the system can perform is provided. Control repeated returns to this menu after executing each user request

Research on an expert system for database operation of simulation-emulation math models. Volume 1, Phase 1: Results

The results of the first phase of Research on an Expert System for Database Operation of Simulation/Emulation Math Models, is described. Techniques from artificial intelligence (AI) were to bear on task domains of interest to NASA Marshall Space Flight Center. One such domain is simulation of spacecraft attitude control systems. Two related software systems were developed to and delivered to NASA. One was a generic simulation model for spacecraft attitude control, written in FORTRAN. The second was an expert system which understands the usage of a class of spacecraft attitude control simulation software and can assist the user in running the software. This NASA Expert Simulation System (NESS), written in LISP, contains general knowledge about digital simulation, specific knowledge about the simulation software, and self knowledge

Numerical grid generation based on the solution of convection-diffusion-source equations

Peer reviewed: YesNRC publication: Ye

A numerical scheme for the generation of streamlines in three dimensions

Peer reviewed: YesNRC publication: Ye

Monitoring of solar domestic hot water systems at the National Research Council of Canada

Peer reviewed: YesNRC publication: Ye

Unsteady flow in a rotated square tube bank

Peer reviewed: YesNRC publication: Ye

On Breakdown Criteria for Nonvacuum Einstein Equations

The recent "breakdown criterion" result of S. Klainerman and I. Rodnianski stated roughly that an Einstein-vacuum spacetime, given as a CMC foliation, can be further extended in time if the second fundamental form and the derivative of the lapse of the foliation are uniformly bounded. This theorem and its proof were extended to Einstein-scalar and Einstein-Maxwell spacetimes in the author's Ph.D. thesis. In this paper, we state the main results of the thesis, and we summarize and discuss their proofs. In particular, we will discuss the various issues resulting from nontrivial Ricci curvature and the coupling between the Einstein and the field equations.Comment: 62 pages This version: corrected minor typos, expanded Section 6 (geometry of null cones